               <br />
              </div>
            </div>
            <span class="corners-bottom"><span></span></span>
          </div>
        </div>
      </div>
      
      <div id="page-footer">
        <strong>Written by</strong>: <a href="mailto:mbaker@lambertw.com">Michael Baker</a>
        <br /><strong>Theme</strong>: heavily modified <a href="http://www.subblue.com">subSilver</a>
        <br /><strong>Tree diagrams</strong>: <a href="http://www.graphviz.org">Graphviz</a>
        <br /><?php echo "<strong>Time</strong>: " . number_format((microtime(true) - $timeBegin)*1000,0) . " ms"; ?>
      </div>
    </div>
  </body>
</html>